locknd{-}deq() $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$product{-}deq(Id;Knd;IdDeq;KindDeq)